M[2]
Silicon Compiler Systems
A C-like language for multilevel hardware description.